From c32433fab03b8b240d61821e289f620fd79355ce Mon Sep 17 00:00:00 2001 From: Carlos Garnacho Date: Wed, 8 Oct 2025 20:10:51 +0200 Subject: [PATCH] grabHelper: Drop unused method This was meant for widgets that don't exist anymore, we do not need to explicitly ignore button releases anymore. Part-of: --- js/ui/grabHelper.js | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js index a82a5fc6b..f59766ed9 100644 --- a/js/ui/grabHelper.js +++ b/js/ui/grabHelper.js @@ -184,16 +184,6 @@ export class GrabHelper { this._grab = null; } - // ignoreRelease: - // - // Make sure that the next button release event evaluated by the - // capture event handler returns false. This is designed for things - // like the ComboBoxMenu that go away on press, but need to eat - // the next release event. - ignoreRelease() { - this._ignoreUntilRelease = true; - } - // ungrab: // @params: The parameters for the grab; see below. // -- 2.39.5